21. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
C6
1979
22. Model theory of groups and automorphism groups : Blaubeuren, August 1995
پدیدآورنده : edited by David M. Evans
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
23. Models and sets: Proceedings of the Logic Colloquom held in Aachen, July 18-23, 1983.
پدیدآورنده : Edited by F.H. Muller and M.M. Richter
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Model bibliographies,Congresses` ، Set theory
رده :
QA
3
.
L28
no
.
1103-1104
24. Models and sets; Proceedings of the logic calloquium held in Aachen, July 18-23. 1983 Part 1
پدیدآورنده : edited by G.H. Muller and M.M. Richter
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Model theory,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
1103
25. Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai
پدیدآورنده : Bradd Hart ... ]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Model theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
7
.
M67
26. #Non-classical logics, model theory, and computability
پدیدآورنده : #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
27. Non-classical logics, model theory, and computability
پدیدآورنده : / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
28. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
29. Perturbative and nonperturbative aspects of quantum field theory : proceedings of the 35th Internationale Universitatswochen fur Kern- und Teilchenphysik, Schladming, Austria, March 2-9, 1996
پدیدآورنده : H. Latal, W. Schweiger )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Quantum field theory,Congresses ، Nuclear reactions,Congresses ، Quantum chromodynamics,Congresses ، Perturbation )Quantum dynamics(
رده :
QC
3
.
L28
Vol
.
479
30. Physics in D >= 4
پدیدآورنده : / editors, John Terning, Carlos E.M. Wagner, Dieter Zeppenfeld
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Particles (Nuclear physics) , Congresses,Standard model (Nuclear physics) , Congresses,Field theory (Physics) , Congresses,Electronic books. , local
رده :
E-BOOK
31. Proceedings of the International Workshop on Quantum Effects in the MSSM: Universitat Autonoma de Barcelona, Catalonia, Spain, 9-13 September 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Supersymmetry,Congresses ، Quantum theory,Congresses ، Standard model )Nuclear physics(
رده :
QC
174
.
17
.
S9
.
I58
1997
32. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
33. Proceedings of the Workshop on Effective Field Theories of the Standard Model, Dobogkio, Hungary, August, 22-26, 1991
پدیدآورنده : edited by Ulf-G. MeiBner
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Field theory )Physics(
رده :
QC
794
.
6
.
S75W67
1991
34. Proceedings of the Workshop on Effective Field Theories of the Standard Model: Dobogbokno, Hungary, August, 22-26, 1991
پدیدآورنده : Workshop on Effective Field Theories of the Standard Model )1991 : Dobogعokکo, Hungary(
موضوع : ، Standard model )Nuclear physics(- Congresses,، Field theory )Physics(- Congresses
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
35. Set theory and hierarchy theory V ... 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, and A. Zarach
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
36. Set theory and hierarchy theory V:Bierutowice, Ploand, 1976
پدیدآورنده : Conference on set Theory and Hierachy Theory, 3d, Bierutowice, Poland
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Set theory,Hirarchies -Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
37. Set theory and hierarchy theory V : Bierutowice, Poland, 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, A. Zarach
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Set theory,Hierarchies -- Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
248
.
C6
1976
38. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
39. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده : edited by W. Marek, M. Srebrny, A. Zarach
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Bibliography ، Mostowski, Andrzej, 3191-5791,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
248
.
C6
1975
40. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
